package arlab.formulae

/**
 * Created by IntelliJ IDEA.
 * User: Eve
 * Date: 23.02.12
 * Time: 12:18
 * To change this template use File | Settings | File Templates.
 */

// Transition
trait TransitionSystem{
  
  def init(step: Int):Formula
  def step(i:Int,  j:Int) :Formula

}
